Signed-off-by: Keir Fraser <keir@xensource.com>
#include <asm/mpspec.h>
#include <asm/apic.h>
#include <mach_apic.h>
-#include <asm/hvm/vpit.h>
-#include <asm/hvm/vcpu.h>
#include <asm/hvm/support.h>
#include "cpu.h"
if ( HVM_DOMAIN(v) )
{
- hvm_store_cpu_guest_regs(v, &c->user_regs);
- hvm_store_cpu_guest_ctrl_regs(v, c->ctrlreg);
+ hvm_store_cpu_guest_regs(v, &c->user_regs);
+ hvm_store_cpu_guest_ctrl_regs(v, c->ctrlreg);
}
else
{
c->vm_assist = v->domain->vm_assist;
}
+
+/*
+ * Local variables:
+ * mode: C
+ * c-set-style: "BSD"
+ * c-basic-offset: 4
+ * tab-width: 4
+ * indent-tabs-mode: nil
+ * End:
+ */
l3_pgentry_t l3e;
l2_pgentry_t l2e;
unsigned long mfn, v;
- unsigned int i = 0;
+ unsigned int i;
long rc = 0;
switch ( op )